function run(){
	var repl=document.getElementById('repl');
	var history=document.getElementById('history');
	history.innerHTML+='<<'+repl.value+'\n>>'+interpretList(parse(repl.value))+'\n';
	repl.value='';
}

